((v5 v3 0) (v4 v1 5) (v4 v3 6) (v3 v6 8) (v3 v2 2) (v5 v2 1))
61
((v4 v1) (v1 v2) (v3 v2))